Inter-procedural Analysis for Parallelization of Java Programs
نویسندگان
چکیده
Parallelization of Java programs is a complex task due to inheritance, dynamic method dispatching and aliases. Our research [2] aims to perform static analysis of Java programs in order to identify implicit parallelism. In this paper, we discuss rst the inter-procedural analysis technique we are studying and implementing to characterize data-dependency. And then we enhance this framework with type-based alias analysis.
منابع مشابه
Data Flow Analysis in the Presence of Correlated Calls
This thesis presents a technique to improve the precision of data-flow analyses on objectoriented programs in the presence of correlated calls. We say that two method calls are correlated if they are polymorphic (have multiple targets) and are invoked on the same object. Correlated calls are problematic because they can make existing data-flow analyses consider certain infeasible data-flow path...
متن کاملParallel Evaluation of Mathematica Programs in Remote Computers Available in Network
Mathematica is a powerful application package for doing mathematics and is used almost in all branches of science. It has widespread applications ranging from quantum computation, statistical analysis, number theory, zoology, astronomy, and many more. Mathematica gives a rich set of programming extensions to its end-user language, and it permits us to write programs in procedural, functional, o...
متن کاملMini Project Report One
The Java Architecture for Bytecode Analysis (JABA) of the Aristotle Research Group at Georgia Tech provides static analysis of Java programs. Besides others, JABA uses algorithms that determine inter-procedural control flow caused by exceptions [3]. This means that JABA determines for each throw statement of the program the methods visited on the way to the finally statement or catch statement ...
متن کاملDynamic data flow analysis for Java programs
A large portion of high-level computer programs consists of data declaration. Thus, an increased focus on testing the data ̄ow aspects of programs should be considered. In this paper, we consider testing the data ̄ow in Java programs dynamically. Data ̄ow analysis has been applied for testing procedural and some object-oriented programs. We have extended the dynamic data ̄ow analysis technique ...
متن کاملKaveri: Delivering the Indus Java Program Slicer to Eclipse
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus provides a library of classes that enables users to quickly assemble a highly customized non-system dependence graph based inter-procedural program slicer capable of slicing concurrent Java programs. Kaveri is an Eclipse p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999